quiere(ana, fiesta).
quiere(ana, aprobarPdeP).
quiere(juan, suCasa).
quiere(juan, facultad).
quiere(laMamaDeAna, elPapaDeAna).
tiene(casaDeJuan, suCasa).
tiene(casaDeJuan, fiesta).
tiene(casaDeAna, aprobarPdeP).
tiene(casaDeAna, facultad).
tiene(casaDeAna, elPapaDeAna).
tiene(casaDeJuan, aprobarPdeP).
lugar(Lugar):-tiene(Lugar,_).
persona(Persona):-quiere(Persona, _).
tieneGanasDeIr(Persona, Lugar):-lugar(Lugar),persona(Persona),forall(quiere(Persona, Quiere), tiene(Lugar, Quiere)).
